discrete state@i == x:Idif discrete(i;x) then vartype(i;x) else Top fi  

latex

---

clarification:

es-dstate(es;i) == x:Idif es-isconst(es;i;x) then es-vartype(es; i; x) else Top fi  

latex

Definitions	x:AB(x), Id, if b then t else f fi , discrete(i;x), vartype(i;x), Top
FDL editor aliases	es-dstate